Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
331	The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS) Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:45:46 Theoretical computer science Logic in computer science Software engineering Formal methods Models of computation Parallel computing Programming language semantics Denotational semantics Abstract interpretation Semantics Astre
332	Can OWL and Logic Programming Live Together Happily Ever After? Boris Motik1 , Ian Horrocks1, Riccardo Rosati2 , and Ulrike Sattler1 1 2 Add to Reading List Source URL: staff.cs.manchester.ac.uk Language: English - Date: 2006-09-13 06:14:52
333	A Logic of Reasoning, Communication and Cooperation with Syntactic Knowledge Thomas ˚ Agotnes Michal Walicki Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:32 Logic Mathematical logic Philosophy Formal epistemology Modal logic Artificial intelligence Belief Epistemic modal logic Non-classical logic Logic programming Epistemic closure FO
334	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
335	Ambivalent Types for Principal Type Inference with GADTs Jacques Garrigue1 and Didier R´emy2 1 Nagoya University, Graduate School of Mathematics Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:37:28 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Orbifold Symbol
336	Fifth Competition of Pseudo-Boolean Solvers (PB’10) Call for Solvers and Benchmarks http://www.cril.univ-artois.fr/PB10/ G OAL Like the previous competitions (PB05, PB06, PB07 and PB09), the goal is to assess the state Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2010-05-25 10:09:54 Logic in computer science Combinatorial optimization Operations research Numerical software Maximum satisfiability problem Constraint satisfaction Mathematical optimization Solver Satisfiability Integer programming Constraint Boolean satisfiability problem
337	Can OWL and Logic Programming Live Together Happily Ever After? Boris Motik1 , Ian Horrocks1, Riccardo Rosati2 , and Ulrike Sattler1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2006-09-13 06:14:52
338	Motivation Logic Programming Computer Games Add to Reading List Source URL: znalosti2008.fiit.stuba.sk Language: English - Date: 2008-03-31 12:48:02
339	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17
340	Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-11 07:16:08 Software engineering Computing Software Compiler construction Formal methods Logic in computer science Programming language implementation Functional languages Programming language Semantics Compiler Low-level programming language

UPDATE